double-precision quantity - German English Dictionary